Probability logic: A model-theoretic perspective

Coordination: A model-theoretic perspective

A Model-Theoretic Semantics for Defeasible Logic

Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof theory and, until now, has had no model theory. In this paper a model-theoretic semantics is given for defeasible logic. The logic is sound and complete with respect to the semantics. We also briefly outline how this approach extends to a wide range of defeasible logics.

Combining Logic and Probability: P-log Perspective

My research focuses on investigation and improvement of knowledge representation (KR) language P-log which was designed to reason about both logical and probabilistic knowledge. In particular, I aim to extend P-log with new constructs, clarify its semantics, develop a new efficient inference engine for it and establish its relationship with other related formalisms. Successful completion of thi...

Team-Solvability: A Model-Theoretic Perspective

At present, the extension of formal learning theory to the multi-agent case considers \teams" of agents sharing a common end. Success is achieved if one or more of the agents is successful, and cooperation is not involved in the team formation. Unfortunately, this is rarely the idea of \suc-cessful team" we have in mind. One generally expects agents' behavior to innuence each other in a way tha...

Model Theoretic Syntax and Transitive Closure Logic

One of the most productive interactions between logic and computational linguistics in the last decade has been model theoretic syntax, a research program initiated by Rogers [8]. As a number of grammar formalisms proposed in linguistics and natural language processing are formulated as well-formedness conditions on trees, Rogers observed that the majority of these constraints can be expressed ...